Walrasian auction